logisch wahr

logisch wahr
logisch wahr,
 
Tautologie, in der Logik eine Aussageform, die für alle Belegungen der in ihr auftretenden Aussagenvariablen mit Wahrheitswerten den Wahrheitswert wahr ergibt.
 
Beispiel: A ∨ ¬ A, ¬ (A ∧ ¬ A ).

Universal-Lexikon. 2012.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • wahr — wahrheitsgetreu; wahrhaftig; wahrheitsgemäß; wahrhaft; veritabel; echt; richtig; unverändert; authentisch * * * wahr [va:ɐ̯] <Adj.>: 1. der Wahrheit, der Wirklichkeit, den Tatsachen entsprechend …   Universal-Lexikon

  • Wahr — Wahrheit (von westgermanisch wâra, das wie lateinisch verus zu indogermanisch uêro gehört; griechisch Aletheia, von a [α privativum, nicht] und lethos/lethe [zu lanthano, verborgen sein]; lateinisch veritas, wirklicher Sachverhalt) ist einer der… …   Deutsch Wikipedia

  • Definition — Eine Definition (lateinisch definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist je nach der Definitionslehre, der hierbei gefolgt wird, entweder 1. eine Bestimmung des Wesens einer zu erklärenden Sache oder 2. eines Begriffs oder… …   Deutsch Wikipedia

  • Implikation — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. in der Linguistik die semantische Implikation… …   Deutsch Wikipedia

  • Antezedens und Sukzedens — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… …   Deutsch Wikipedia

  • Implikat — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… …   Deutsch Wikipedia

  • Implikationen — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… …   Deutsch Wikipedia

  • Implizieren — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… …   Deutsch Wikipedia

  • Impliziert — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… …   Deutsch Wikipedia

  • Implizit — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”